Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
521	Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) VeriTech - A Framework for Translating among Model Description Notations Orna Grumberg and Shmuel Katz Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2005-11-29 05:50:59 Electronic engineering Formal methods Predicate logic Hardware description languages Construction and Analysis of Distributed Processes Formal verification State transition system Model checking Petri net Models of computation Theoretical computer science Concurrency
522	Publication List: Shmuel Katz • Journal Articles 1. S. Katz and Z. Manna, A closer look at termination, Acta Informatica, 5, December 1975, ppS. Katz and Z. Manna, Logical analysis of programs, CACM, 19, Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2014-05-12 05:45:34 Model checking Software Software development Aspect-oriented software development Web engineering
523	Saturn: A SAT-based Tool for Bug Detection? Yichen Xie and Alex Aiken Computer Science Department Stanford University {yxie,aiken}cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2005-05-20 18:05:46 Formal methods Electronic design automation Logic in computer science NP-complete problems Model checking Data types Boolean satisfiability problem Ada Pointer Computing Software engineering Theoretical computer science
524	Using Datalog with Binary Decision Diagrams for Program Analysis John Whaley, Dzintars Avots, Michael Carbin, and Monica S. Lam Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: suif.stanford.edu Language: English - Date: 2007-12-16 03:00:39 Computing Boolean algebra Diagrams Binary decision diagram Model checking Database theory Datalog Relational algebra Prolog Mathematics Data management Relational model
525	Formal Analysis of the Remote Agent Before and After Flight Klaus Havelund1 , Mike Lowry, SeungJoon Park2 , Charles Pecheur2 , John Penix, Willem Visser2 , Jon L. White3 The Automated Software Engineering Group NASA Ames Add to Reading List Source URL: ti.arc.nasa.gov Language: English - Date: 2008-08-08 17:05:30 Cross-platform software Model checkers Functional languages Lisp programming language Programming paradigms Promela Model checking Java Pathfinder Common Lisp Computing Software engineering Computer programming
526	Formal Verification of Programs That Use MPI One-Sided Communication Salman Pervez1 , Ganesh Gopalakrishnan1 , Robert M. Kirby1 , Rajeev Thakur2 , and William Gropp2 1 Add to Reading List Source URL: www.mcs.anl.gov Language: English - Date: 2006-07-13 17:10:38 Computer programming Parallel computing Application programming interfaces Message Passing Interface Transaction processing Deadlock Lock Model checking Non-blocking algorithm Computing Concurrent computing Concurrency control
527	INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE THESIS To obtain the grade of INPG DOCTOR Speciality: « COMPUTER SYSTEMS AND COMMUNICATIONS » Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2009-09-03 04:49:14 Model checking Parallel computing E Electronic engineering Hardware verification languages SystemC
528	List of Publications and Talks ´ Kova ´ cs Laura Ildiko 1 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-02-19 17:05:13 Mathematics Formal methods Anglo-Chinese School Automated reasoning Algorithmic Number Theory Symposium Model checking Actor model Automated theorem proving Theoretical computer science Applied mathematics
529	A Foundation for Flow-Based Program Matching Using Temporal Logic and Model Checking Julien Brunel Damien Doligez Add to Reading List Source URL: pagesperso-systeme.lip6.fr Language: English - Date: 2011-12-17 11:26:12 Mathematics Static single assignment form Golden ratio Applied mathematics Philosophy of mathematics Linear temporal logic Temporal logic Logic in computer science Computation tree logic
530	Algorithmic metatheorems for decidable LTL model checking over infinite systems Anthony Widjaja To and Leonid Libkin LFCS, School of Informatics, University of Edinburgh anthony.w.to, Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-02-03 10:41:37 Formal methods Computer science Linear temporal logic Finite state transducer Model checking Finite-state machine Model theory State transition system Petri net Models of computation Automata theory Theoretical computer science

UPDATE